Dr. Fraser Brown

Assistant Professor, Software and Societal Systems

Bio

Dr. Fraser Brown is an Assistant Professor in the Software and Societal Systems Department (S3D) at Carnegie Mellon University. Her research lies at the intersection of systems, programming languages, and security, with a focus on program correctness for security applications. She develops techniques and tools for finding bugs in large, security-critical systems like web browsers, and for verifying pieces of production systems.

Dr. Brown's recent work concentrates on compiler correctness and compilation for new domains, including verified browser just-in-time (JIT) compilers and compilation infrastructure for cryptographic applications. Notable projects include work on the Icarus framework for trustworthy JIT compilers and research on verification techniques for WebAssembly. Before joining CMU, Dr. Brown completed her PhD in Computer Science at Stanford University, where she was advised by Dawson Engler and frequently collaborated with researchers at UC San Diego. She also holds a BA in English Literature from Stanford University (2016), where she was advised by Elaine Treharne.